Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
341	情報地質第27巻第2号頁 2016年 Geoinformatics, vol.27, no.2, pp, 2016 Pixel Based and Object Based Fuzzy LULC Classification using GRASS GIS and RapidEye Imagery of Lao Cai Area, Vietnam Thi Han Add to Reading List Source URL: www.jsgi-map.org Language: English - Date: 2016-05-23 07:07:14 Fuzzy logic Logic Mathematical logic Science and technology Fuzzy set Fuzzy classification Defuzzification Fuzzy rule Geographic information system Type-2 fuzzy sets and systems
342	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
343	Computing Contingent Plans via Fully Observable Non-Deterministic Planning Christian Muise and Vaishak Belle and Sheila A. McIlraith Department of Computer Science University of Toronto, Toronto, Canada. {cjmuise,vaishak Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-05-05 00:06:37 Automated planning and scheduling Conditionals Philosophy Cognitive science Amyloidosis Logic Planning Domain Definition Language Planning Conditional mood PRNP STRIPS Causality
344	Activity ReportProject-Team EXMO Computer-mediated communication of structured knowledge Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:10 Semantic Web Computing Information science Ontology Knowledge representation Information Knowledge engineering Web Ontology Language Resource Description Framework Knowledge representation and reasoning Description logic Upper ontology
345	Load Frequency Control of Power Systems Using FLC and ANN Controllers Mandru Harish Babu PG Scholar, Department of Electrical and Electronics Engineering, GITAM Institute of Technology, Rushikonda, Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-13 04:41:14 Control engineering Systems science Systems theory Cybernetics Control theory Artificial intelligence Fuzzy logic Logic in computer science Fuzzy control system Control system Steam turbine PID controller
346	A Practical Guide to the Why-Because Analysis Method Performing a Why-Because Analysis Thilo Paul-Stüve September 21, 2005 This guide to the Why-Because Analysis (WBA) method concentrates on Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2005-10-04 08:01:48 Philosophy Logic Conditionals Epistemology Philosophy of science Debugging Accidents Risk analysis Whybecause analysis Causality Counterfactual conditional Fact
347	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE, Maiko Isozaki Abstract— This short description is written for the Ms.PacMan competition in CEC2007, held in Singapore. First, instr Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-09-14 12:47:49 Software Gaming Fuzzy logic Classes of computers Artificial intelligence Logic in computer science Non-classical logic Membership function Pac-Man Fuzzy rule Ghosts
348	nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals Add to Reading List Source URL: www.analytica.phs.uoa.gr Language: English - Date: 2016-07-11 06:07:38 Modal logic Logical connectives Conditionals Philosophical logic Philosophy of language Doxastic logic Material conditional Propositional calculus Strict conditional Proposition Mathematical proof Meaning
349	Sutra: International Journal of Mathematical Science Education, Vol. 2, No. 1, Useful Mathematical Symbols Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2009-03-11 10:45:36 Quantification Elementary arithmetic Mathematical logic Mathematical notation Integral Interval Universal quantification Equality Exponentiation Quantifier Plus-minus sign ISO 31-11
350	Decoupling the Ethernet from Architecture in Linked Lists Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Theoretical computer science Algorithm Mathematical logic Actor model

UPDATE